Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su

Source URL: www.lix.polytechnique.fr

• Mathematics
• Affine geometry
• Affine arithmetic
• Affine space
• Lambda calculus
• Abstract interpretation
• Function

A Reactive Data Structure for Geographic Information Systems Peter van Oosterom TNO Physics and Electronics Laboratory, P.O. Box 96864, 2509 JG The Hague, The Netherlands and

Source URL: mapcontext.com

• Computing
• Computer programming
• Software development
• 3D computer graphics
• Video game development
• Binary space partitioning
• BSP
• Binary trees
• Data types
• R-tree
• Hidden surface determination
• Tree

Brigadier General William Cooley, Program Executive for Programs and Integration, Missile Defense Agency - Brig. Gen. Bill Cooley is the Program Executive for Programs and Integration for the Missile Defense Agency (MDA)

Source URL: cdn.govexec.com

• Recipients of the Legion of Merit
• Military personnel
• Military
• Air Force Research Laboratory
• Air Force Space Command
• Space and Missile Systems Center
• Ted F. Bowlds
• C. D. Moore

Designing a Common Communication Subsystem? Darius Buntinas and William Gropp Mathematics and Computer Science Division Argonne National Laboratory {buntinas, gropp}@mcs.anl.gov

Source URL: wgropp.cs.illinois.edu

• Inter-process communication
• Parallel computing
• Application programming interfaces
• Message Passing Interface
• Systems engineering
• Message passing
• Active message
• MPICH
• Middleware
• Partitioned global address space
• Computer cluster

Bounding Space Usage of Conservative Garbage Collectors Hans-J. Boehm Internet Systems and Storage Laboratory HP Laboratories Palo Alto HPL

Source URL: www.hpl.hp.com

Optimizing the distribution of road space for urban multimodal congested networks Nan Zheng1 and Nikolas Geroliminis1 1 School of Architecture, Civil and Environmental Engineering, Laboratory of Urban Transport Systems,

Source URL: www.strc.ch

• Transport
• Land transport
• Road traffic management
• Road transport
• Sustainable transport
• Transportation planning
• Transportation engineering
• Traffic flow
• Traffic congestion
• Fundamental diagram of traffic flow
• Bus lane
• Rush hour

SSC00-IX-4 Infrastructure for Internet-Based Operations James Cutler, Gregory Hutchins, Christopher Kitts, Robert Twiggs Space Systems Development Laboratory Stanford University

Source URL: www.qsl.net

SDLD Advanced Reconnaissance Compression Hardware The Space Dynamics Laboratory has developed the ARCH state-of-the-art imagery compression technology for use in next-generation reconnaissance pod systems. This

Source URL: www.sdl.usu.edu

A r m y S c i e n c e & Te c h n o l o g y Army Science and Technology Program National Defense Industrial Association 16th Annual Science and Engineering Technology/ Defense Tech Exposition

Source URL: www.defenseinnovationmarketplace.mil

• Military
• United States Army Research Laboratory
• United States Assistant Secretary of the Army for Acquisition
• Logistics
• and Technology
• United States Army Research
• Development and Engineering Command
• United States Army Space and Missile Defense Command
• United States Army Soldier Systems Center
• United States Army Medical Research and Materiel Command
• Modeling and simulation
• Military science
• United States Army

F o r m a l M o d e l s for C o m p u t e r S e c u r i t y CARL E. LANDWEHR Code 7593, Naval Research Laboratory, Washington, D CEfforts to build "secure" computer systems have now been underway for more than a

Source URL: www.landwehr.org

• Systems theory
• State space
• International Obfuscated C Code Contest
• Classical cipher
• Control theory
• Computing
• Computer programming